Resolution-like theorem proving for high-level conditions Karl-Heinz Pennemann University of Oldenburg, Germany⋆⋆ [removed]

Source URL: formale-sprachen.informatik.uni-oldenburg.de

• Mathematical logic
• Propositional calculus
• Model theory
• Algebraic geometry
• Logical truth
• Tautology
• Pushout
• Epimorphism
• Category
• Logic
• Mathematics
• Abstract algebra

The Semantics of Predicate Logic as a Programming Language M. H. VAN E M D E N A N D R. A. K O W A L S K I Umverslty of Edinburgh, Edmburgh. Scotland ABSTRACT Sentences in first-order predicate logic can be usefully inte

Source URL: www.doc.ic.ac.uk

• Metalogic
• Term algebra
• Interpretation
• FO
• First-order logic
• Kripke semantics
• Combinatory logic
• Logic
• Mathematical logic
• Model theory

Development of correct graph transformation systems Preliminary abstract Karl-Heinz Pennemann University of Oldenburg, Germany?? [removed]

Source URL: formale-sprachen.informatik.uni-oldenburg.de

• Formal methods
• Graph rewriting
• Model checking
• Predicate transformer semantics
• Graph
• Graph theory
• Mathematics
• Theoretical computer science

Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practi

Source URL: www.modern-medical-science.site88.net

• Non-classical logic
• Metalogic
• Model theory
• Entailment
• Interpretation
• Many-valued logic
• Modal logic
• Newton da Costa
• Logical connective
• Logic
• Philosophical logic
• Paraconsistent logic

Abstract: This paper is concerned with the problem of goodness-of-fit for curve registration, and more precisely for the shifted curve model, whose application field reaches from computer vision and road traffic predicti

Source URL: www.science-of-medicine.netne.net

• Normal distribution
• Statistical hypothesis testing
• Sigma-algebra
• Statistical power
• Model theory
• Statistics
• Hypothesis testing
• Mathematical analysis

Abstract – The recent theory of plausible and paradoxical reasoning (DSmT) developed by the authors appears to be a nice promising theoretical tools to solve many information fusion problems where the Shafer’s model

Source URL: www.modern-medical-science.site88.net

Abstract Background The spread of infectious diseases crucially depends on the pattern of contacts among individuals. Knowledge of these patterns is thus essential to inform models and computational efforts. Few empirica

Source URL: www.science-of-medicine.netne.net

• Network theory
• Public health
• Health
• Networks
• Ethology
• Epidemic model
• Radio-frequency identification
• Social network
• Infectious disease
• Epidemiology
• Science
• Medical statistics

Abstract The theory describing action of medicines explored in this paper is based on assumption that vital activity of the cell may be described in terms of the model of two states: resting state and excitation. Accordi

Source URL: www.science-of-medicine.netne.net

• Symplectic geometry
• Microcanonical ensemble
• Entropy
• Statistical mechanics
• Hamiltonian mechanics
• Integral
• Physics
• Mathematical analysis
• Thermodynamics

An Interview with Peter Jephson Cameron

Source URL: www-circa.mcs.st-and.ac.uk

• Algebraic structures
• Abstract algebra
• Emmy Noether
• Representation theory
• Group theory
• Model theory
• Permutation
• Transformation semigroup
• Combinatorics
• Mathematics
• Algebra
• Semigroup theory

A PROPOSAL ON FOUR DIMENSIONAL ANALOGUE OF MIRROR SYMMETRY Nikita Nekrasov 1999

Source URL: www.cgtp.duke.edu

• Model theory
• Structure
• Universal algebra
• Moduli space
• Holomorphic functional calculus
• Orbifold
• Algebra
• Mathematics
• Abstract algebra